Buy Used and New Daniel Le Berre Books

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings: 9710 (Lecture Notes in Computer Science)

by Nadia Creignou,Daniel Le Berre

ISBN 13: 9783319409696

Format: Paperback (588 pages)
Publisher: Springer
Published: 12 Jun 2016

Save for later